LeftOffset RightOffset SavedLeftOffset
UpperPart LowerPart LabelPart
@inferRule @ReturnLeftOffset @MathSaved